Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
401	Efficient Implementation of Generalized Quantification in Relational Query Languages Bin Cao Antonio Badia Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-04-25 03:37:15 Mathematics Predicate logic Semantics Relational model Generalized quantifier FO First-order logic Combinatory logic Universal quantification Mathematical logic Logic Quantification
402	Suppl : A Flexible Language for Policies Robert Dockins and Andrew Tolmach Portland State University Abstract. We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, exe Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-09-11 10:05:46 Programming paradigms Prolog Predicate Logic programming Logic Mathematical logic Mathematics
403	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
404	Combined Distributional and Logical Semantics Mark Steedman School of Informatics University of Edinburgh Edinburgh, EH8 9AB, UK [removed] Add to Reading List Source URL: www.transacl.org Language: English - Date: 2013-05-31 13:47:42 Semantics Predicate logic Formal languages Grammar Model theory Predicate First-order logic Combinatory categorial grammar Interpretation Logic Linguistics Mathematical logic
405	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory
406	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
407	Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-21 08:22:58 Type theory Semantics Predicate logic Proof theory Quantification Type system Model theory Mathematical logic Exception handling Logic Metalogic Science
408	To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:11 Reasoning Model theory Programming paradigms Deduction Non-classical logic Reasoning system First-order logic Inference Interpretation Logic Science Mathematical logic
409	Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet Maneesh Singh Claus Bahlmann Visvanathan Ramesh Siemens Corporate Research, 755 College Rd East, Princeton, NJ {vinay.shet; maneesh.singh; c Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:12 Reasoning Abstraction Axiology Inference Many-valued logic Cyc First-order logic Reasoning system Activity recognition Logic Science Knowledge
410	Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Formal methods Program logic Predicate transformer semantics Logic programming Social vulnerability Vulnerability Algorithm FO KeY Theoretical computer science Logic Applied mathematics

UPDATE